Большой энциклопедический словарь - доказательство от противного
Рейтинг статьи:
Комментарии:
См. в других словарях
1.
Доказательство от противного (лат. reductio ad absurdum), вид доказательства, при котором «доказывание» некоторого суждения (тезиса доказательства) осуществляется через опровержение противоречащего ему суждения — антитезиса. Опровержение антитезиса при этом достигается установлением факта его несовместимости с каким-либо заведомо истинным суждением. Этой форме Д. от п. соответствует следующая схема доказательства: если В истинно и из А следует ложность В, то А — ложно. Другая, более общая форма Д. от п. — это доказательство путем опровержения (обоснования ложности) антитезиса по правилу: допустив А, мы вывели противоречие, следовательно — не-А. Здесь А может быть как утвердительным, так и отрицательным суждением, а вывод противоречия может пониматься либо как вывод утверждения о тождестве заведомо различных предметов, либо как вывод пары суждений В, не-В, либо как вывод конъюнкции этой пары, либо как вывод эквивалентности этой пары. Этим различным случаям соответствуют различные интерпретации понятий Д. от п. и «противоречие». Прием Д. от п. особенно важен в математике: многие отрицательные суждения математики не могут быть...Большая советская энциклопедия
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 5273 | |
2 | 2766 | |
3 | 2662 | |
4 | 2642 | |
5 | 2164 | |
6 | 2161 | |
7 | 1915 | |
8 | 1765 | |
9 | 1760 | |
10 | 1732 | |
11 | 1479 | |
12 | 1477 | |
13 | 1381 | |
14 | 1329 | |
15 | 1290 | |
16 | 1252 | |
17 | 1243 | |
18 | 1154 | |
19 | 1139 | |
20 | 1063 |